ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.org·22h
⚡Incremental Computation
How the Lean language brings math to coding and coding to math
amazon.science·3d·
Discuss: Hacker News
🔬Lean
Lobsters Interview with Hwayne
lobste.rs·5h·
Discuss: Lobsters
⚔️Lean Tactics
Generating Structured Outputs from LLMs
towardsdatascience.com·8h
📐Format Grammars
Programming with AI: You're Probably Doing It Wrong
devroom.io·1d·
Discuss: Hacker News
⚡Proof Automation
Autodoc
funcall.blogspot.com·21h·
Discuss: www.blogger.com
⚡Proof Automation
Static vs Dynamic
theprogrammersparadox.blogspot.com·8h·
Discuss: theprogrammersparadox.blogspot.com
🏗️Compiler Archaeology
Training Specialist Models: Automating Malware Development
outflank.nl·1d
🧮SMT Solvers
Getting Good Results from Claude Code
dzombak.com·13h·
Discuss: Hacker News
⚔️Lean Tactics
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·4d
📝Concrete Syntax
AWS-LC is a general-purpose cryptographic library
github.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Scrutinizing LLM Reasoning Models
cacm.acm.org·1d
✓Automated Theorem Proving
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·1d
🔗Functional Compilers
Parametric Matrix Models
nature.com·1d·
Discuss: Hacker News
📐Linear Algebra
Simple Programming Languages
ryanbrewer.dev·13h·
Discuss: Hacker News
🔗Concatenative Programming
Understanding and Mitigating Errors of LLM-Generated RTL Code
arxiv.org·22h
✅Format Verification
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·5d·
Discuss: Hacker News
💧Liquid Types
[$] On the use of LLM assistants for kernel development
lwn.net·1d
🔩Systems Programming
GoLang Generics: Practical Examples to Level Up Your Code
dev.to·1d·
Discuss: DEV
💧Liquid Types
Jepsen: Capela dda5892
jepsen.io·1d·
Discuss: Lobsters, Hacker News, r/programming
📊APL Heritage